Theorem Proving System - PDFSEARCH.IO - Document Search Engine

Theorem Proving System
Results: 96

#	Item
21	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
22	C o n n e c t i n g G re a t M i n d s Add to Reading List Source URL: www.cin.ufpe.br Language: English - Date: 2011-09-16 07:48:16 Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction
23	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system
24	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification
25	NEG Electronic Application System (eSystem) User Guide Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-19 14:27:07 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
26	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
27	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics
28	Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds Yuval Filmus1 ? , Toniann Pitassi1 ? , and Rahul Santhanam2 1 University of Toronto, yuvalf, Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-06-22 20:53:40 Logic in computer science Automated theorem proving Frege system Propositional calculus Computational complexity theory Proof complexity Function Gottlob Frege Mathematical proof Mathematics Theoretical computer science Mathematical logic
29	A Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds YUVAL FILMUS and TONIANN PITASSI, University of Toronto RAHUL SANTHANAM, University of Edinburgh Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-04-05 15:13:04 Computational complexity theory Logic in computer science Mathematical logic Proof theory Automated theorem proving Frege system Proof complexity Function Switching lemma Theoretical computer science Mathematics Logic
30	Sector Partnership (SP) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by 11:59 PM EDT on May 29, 2015 Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-07 12:03:18 Logic in computer science Automated theorem proving Boolean algebra Rules of inference

UPDATE